[next] [prev] [prev-tail] [tail] [up]

2.2.10 Integrals 901 to 1000

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 36 35 27 26 26 39 26 30

N.S.

1 1.09 1.06 0.82 0.79 0.79 1.18 0.79 0.91

time (sec)

N/A 0.191 0.011 0.956 0.273 0.268 0.055 0.269 9.750

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 49 29 39 49 49 42 36

N.S.

1 1.00 0.96 0.57 0.76 0.96 0.96 0.82 0.71

time (sec)

N/A 0.231 0.019 0.203 0.278 0.288 0.056 0.273 0.139

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 51 44 31 41 51 42 46 36

N.S.

1 1.04 0.90 0.63 0.84 1.04 0.86 0.94 0.73

time (sec)

N/A 0.209 0.019 0.191 0.277 0.249 0.049 0.278 0.186

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 14 14 12 14 14

N.S.

1 1.00 1.00 0.81 0.88 0.88 0.75 0.88 0.88

time (sec)

N/A 0.147 0.005 0.318 0.190 0.252 0.047 0.264 9.723

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 30 24 20 22 31 19 22 19

N.S.

1 1.25 1.00 0.83 0.92 1.29 0.79 0.92 0.79

time (sec)

N/A 0.170 0.009 0.501 0.270 0.261 0.051 0.278 0.035

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 32 32 37 42 32 34

N.S.

1 1.00 1.00 0.82 0.82 0.95 1.08 0.82 0.87

time (sec)

N/A 0.171 0.018 0.514 0.265 0.268 0.055 0.284 0.043

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 65 49 42 54 71 61 44 53

N.S.

1 1.12 0.84 0.72 0.93 1.22 1.05 0.76 0.91

time (sec)

N/A 0.196 0.021 0.376 0.270 0.249 0.071 0.265 0.050

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 11 10 10 7 11 10

N.S.

1 1.00 1.00 1.10 1.00 1.00 0.70 1.10 1.00

time (sec)

N/A 0.135 0.001 0.434 0.194 0.273 0.019 0.269 9.715

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 11 22 10 7 22 10

N.S.

1 1.00 1.00 1.10 2.20 1.00 0.70 2.20 1.00

time (sec)

N/A 0.147 0.001 0.209 0.195 0.251 0.022 0.272 0.018

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

367 348 349 413 0 843 1292 412 992

N.S.

1 0.95 0.95 1.13 0.00 2.30 3.52 1.12 2.70

time (sec)

N/A 0.674 1.312 0.687 0.000 0.345 0.673 0.310 12.697

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

280 265 272 316 0 667 831 321 781

N.S.

1 0.95 0.97 1.13 0.00 2.38 2.97 1.15 2.79

time (sec)

N/A 0.502 0.867 0.517 0.000 0.328 0.615 0.286 10.554

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 194 210 234 0 517 539 243 463

N.S.

1 0.95 1.02 1.14 0.00 2.52 2.63 1.19 2.26

time (sec)

N/A 0.372 0.595 0.500 0.000 0.311 0.617 0.296 10.301

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 135 154 167 0 393 350 176 256

N.S.

1 0.94 1.07 1.16 0.00 2.73 2.43 1.22 1.78

time (sec)

N/A 0.268 0.386 0.450 0.000 0.285 0.726 0.297 10.040

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 115 114 0 291 224 121 145

N.S.

1 1.00 1.02 1.01 0.00 2.58 1.98 1.07 1.28

time (sec)

N/A 0.236 0.610 0.398 0.000 0.302 0.502 0.293 9.979

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 136 131 148 0 651 0 0 146

N.S.

1 1.05 1.02 1.15 0.00 5.05 0.00 0.00 1.13

time (sec)

N/A 0.338 0.421 0.378 0.000 1.216 0.000 0.000 9.960

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 113 167 0 648 0 161 166

N.S.

1 1.00 0.93 1.38 0.00 5.36 0.00 1.33 1.37

time (sec)

N/A 0.310 0.422 0.431 0.000 0.814 0.000 0.300 10.120

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F(-2) A F B F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

133 0 159 125 0 699 0 356 0

N.S.

1 0.00 1.20 0.94 0.00 5.26 0.00 2.68 0.00

time (sec)

N/A 0.000 0.642 0.506 0.000 0.816 0.000 0.332 0.000

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 165 128 0 317 0 524 0

N.S.

1 1.00 1.36 1.06 0.00 2.62 0.00 4.33 0.00

time (sec)

N/A 0.256 0.734 0.642 0.000 0.562 0.000 0.316 0.000

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 171 198 185 0 425 0 991 0

N.S.

1 0.99 1.15 1.08 0.00 2.47 0.00 5.76 0.00

time (sec)

N/A 0.343 1.095 0.710 0.000 0.846 0.000 0.302 0.000

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 230 264 257 0 553 0 1407 0

N.S.

1 0.98 1.12 1.09 0.00 2.35 0.00 5.99 0.00

time (sec)

N/A 0.442 1.568 0.848 0.000 1.605 0.000 0.320 0.000

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 302 329 344 0 709 0 1955 0

N.S.

1 0.97 1.06 1.11 0.00 2.29 0.00 6.31 0.00

time (sec)

N/A 0.583 2.157 0.945 0.000 3.283 0.000 0.309 0.000

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

455 391 505 652 0 1263 4983 637 0

N.S.

1 0.86 1.11 1.43 0.00 2.78 10.95 1.40 0.00

time (sec)

N/A 0.740 2.560 0.656 0.000 0.577 0.759 0.310 0.000

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

356 308 412 525 0 1037 3089 522 0

N.S.

1 0.87 1.16 1.47 0.00 2.91 8.68 1.47 0.00

time (sec)

N/A 0.559 1.768 0.595 0.000 0.504 0.729 0.313 0.000

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 237 328 413 0 845 1911 420 0

N.S.

1 0.88 1.22 1.54 0.00 3.14 7.10 1.56 0.00

time (sec)

N/A 0.417 1.273 0.520 0.000 0.465 0.683 0.305 0.000

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 178 254 316 0 669 1175 330 0

N.S.

1 0.90 1.28 1.60 0.00 3.38 5.93 1.67 0.00

time (sec)

N/A 0.314 0.926 0.414 0.000 0.341 0.784 0.300 0.000

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 156 192 234 0 515 711 249 305

N.S.

1 0.99 1.22 1.48 0.00 3.26 4.50 1.58 1.93

time (sec)

N/A 0.271 1.410 0.382 0.000 0.363 0.544 0.307 10.160

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 234 208 271 0 1023 0 0 0

N.S.

1 1.07 0.95 1.24 0.00 4.69 0.00 0.00 0.00

time (sec)

N/A 0.525 0.826 0.407 0.000 3.037 0.000 0.000 0.000

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 203 182 331 0 917 0 238 0

N.S.

1 1.05 0.94 1.72 0.00 4.75 0.00 1.23 0.00

time (sec)

N/A 0.448 0.861 0.733 0.000 1.387 0.000 0.316 0.000

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 182 159 290 0 921 0 412 0

N.S.

1 1.02 0.89 1.62 0.00 5.15 0.00 2.30 0.00

time (sec)

N/A 0.428 1.024 0.474 0.000 1.169 0.000 0.315 0.000

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F(-2) A F B F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

206 0 181 254 0 953 0 627 0

N.S.

1 0.00 0.88 1.23 0.00 4.63 0.00 3.04 0.00

time (sec)

N/A 0.000 1.163 0.573 0.000 1.207 0.000 0.354 0.000

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 235 240 225 0 1083 0 1016 0

N.S.

1 1.08 1.11 1.04 0.00 4.99 0.00 4.68 0.00

time (sec)

N/A 0.515 1.474 0.668 0.000 1.608 0.000 0.389 0.000

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 168 261 256 0 555 0 1357 0

N.S.

1 0.99 1.54 1.51 0.00 3.26 0.00 7.98 0.00

time (sec)

N/A 0.315 1.772 0.876 0.000 1.135 0.000 0.312 0.000

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 218 324 344 0 709 0 2059 0

N.S.

1 0.95 1.41 1.50 0.00 3.08 0.00 8.95 0.00

time (sec)

N/A 0.400 2.553 0.882 0.000 2.075 0.000 0.322 0.000

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

303 277 412 446 0 889 0 2713 0

N.S.

1 0.91 1.36 1.47 0.00 2.93 0.00 8.95 0.00

time (sec)

N/A 0.508 3.269 1.158 0.000 2.710 0.000 0.331 0.000

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

543 434 698 951 0 1775 17279 906 0

N.S.

1 0.80 1.29 1.75 0.00 3.27 31.82 1.67 0.00

time (sec)

N/A 0.798 5.890 0.704 0.000 0.542 0.960 0.317 0.000

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

432 351 585 794 0 1511 10654 767 0

N.S.

1 0.81 1.35 1.84 0.00 3.50 24.66 1.78 0.00

time (sec)

N/A 0.609 3.955 0.540 0.000 0.498 0.842 0.315 0.000

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

333 280 482 652 0 1263 6552 641 0

N.S.

1 0.84 1.45 1.96 0.00 3.79 19.68 1.92 0.00

time (sec)

N/A 0.462 2.611 0.492 0.000 0.419 0.778 0.312 0.000

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 221 390 511 0 1039 4009 526 0

N.S.

1 0.88 1.55 2.03 0.00 4.12 15.91 2.09 0.00

time (sec)

N/A 0.353 1.829 0.450 0.000 0.356 0.869 0.307 0.000

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 199 311 314 0 843 2428 423 0

N.S.

1 0.98 1.53 1.55 0.00 4.15 11.96 2.08 0.00

time (sec)

N/A 0.316 2.766 0.419 0.000 0.346 0.655 0.295 0.000

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

350 374 324 433 0 1575 0 0 0

N.S.

1 1.07 0.93 1.24 0.00 4.50 0.00 0.00 0.00

time (sec)

N/A 0.751 1.647 0.385 0.000 9.596 0.000 0.000 0.000

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 329 287 600 0 1393 0 368 0

N.S.

1 1.06 0.93 1.94 0.00 4.49 0.00 1.19 0.00

time (sec)

N/A 0.651 1.472 0.450 0.000 4.868 0.000 0.314 0.000

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

273 288 253 505 0 1269 0 527 0

N.S.

1 1.05 0.93 1.85 0.00 4.65 0.00 1.93 0.00

time (sec)

N/A 0.577 1.642 0.539 0.000 3.451 0.000 0.328 0.000

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 263 234 456 0 1293 0 765 0

N.S.

1 1.03 0.92 1.79 0.00 5.07 0.00 3.00 0.00

time (sec)

N/A 0.592 1.789 0.579 0.000 1.941 0.000 0.363 0.000

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

284 294 286 453 0 1305 0 1163 0

N.S.

1 1.04 1.01 1.60 0.00 4.60 0.00 4.10 0.00

time (sec)

N/A 0.668 2.226 0.635 0.000 3.536 0.000 0.390 0.000

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

346 361 313 389 0 1445 0 1525 0

N.S.

1 1.04 0.90 1.12 0.00 4.18 0.00 4.41 0.00

time (sec)

N/A 0.805 3.259 0.796 0.000 5.894 0.000 0.473 0.000

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

332 358 360 384 0 1659 0 2086 0

N.S.

1 1.08 1.08 1.16 0.00 5.00 0.00 6.28 0.00

time (sec)

N/A 0.740 2.984 0.956 0.000 7.668 0.000 0.588 0.000

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 215 402 446 0 887 0 2598 0

N.S.

1 0.98 1.84 2.04 0.00 4.05 0.00 11.86 0.00

time (sec)

N/A 0.376 3.668 1.320 0.000 3.908 0.000 0.324 0.000

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

288 265 490 563 0 1091 0 3603 0

N.S.

1 0.92 1.70 1.95 0.00 3.79 0.00 12.51 0.00

time (sec)

N/A 0.462 4.942 1.394 0.000 5.873 0.000 0.347 0.000

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

375 324 600 695 0 1315 0 4427 0

N.S.

1 0.86 1.60 1.85 0.00 3.51 0.00 11.81 0.00

time (sec)

N/A 0.582 6.798 1.945 0.000 5.703 0.000 0.344 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

281 305 225 234 0 519 622 247 0

N.S.

1 1.09 0.80 0.83 0.00 1.85 2.21 0.88 0.00

time (sec)

N/A 0.593 0.677 0.638 0.000 0.344 0.658 0.310 0.000

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 222 173 167 0 395 423 181 0

N.S.

1 1.08 0.84 0.81 0.00 1.92 2.05 0.88 0.00

time (sec)

N/A 0.446 0.471 0.579 0.000 0.349 0.604 0.296 0.000

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 151 124 115 0 295 292 126 0

N.S.

1 1.06 0.87 0.80 0.00 2.06 2.04 0.88 0.00

time (sec)

N/A 0.312 0.350 0.782 0.000 0.318 0.584 0.291 0.000

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 92 80 0 213 204 88 0

N.S.

1 1.00 1.00 0.87 0.00 2.32 2.22 0.96 0.00

time (sec)

N/A 0.219 0.315 0.415 0.000 0.310 0.674 0.304 0.000

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 66 58 0 162 146 60 80

N.S.

1 1.00 0.99 0.87 0.00 2.42 2.18 0.90 1.19

time (sec)

N/A 0.199 0.285 0.404 0.000 0.314 0.399 0.297 10.439

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 74 67 0 468 0 0 66

N.S.

1 1.00 0.96 0.87 0.00 6.08 0.00 0.00 0.86

time (sec)

N/A 0.239 0.209 0.407 0.000 0.368 0.000 0.000 10.349

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 68 65 0 177 0 110 87

N.S.

1 1.00 0.94 0.90 0.00 2.46 0.00 1.53 1.21

time (sec)

N/A 0.212 0.326 0.776 0.000 0.353 0.000 0.302 10.306

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 122 122 88 0 235 0 303 0

N.S.

1 1.05 1.05 0.76 0.00 2.03 0.00 2.61 0.00

time (sec)

N/A 0.285 0.610 0.483 0.000 0.423 0.000 0.303 0.000

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 181 161 128 0 321 0 511 0

N.S.

1 1.08 0.96 0.77 0.00 1.92 0.00 3.06 0.00

time (sec)

N/A 0.385 0.867 0.885 0.000 0.443 0.000 0.301 0.000

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 253 201 185 0 425 0 884 0

N.S.

1 1.10 0.87 0.80 0.00 1.84 0.00 3.83 0.00

time (sec)

N/A 0.520 1.053 0.624 0.000 0.621 0.000 0.296 0.000

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

306 336 260 257 0 557 0 1266 0

N.S.

1 1.10 0.85 0.84 0.00 1.82 0.00 4.14 0.00

time (sec)

N/A 0.681 1.485 0.827 0.000 1.149 0.000 0.292 0.000

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

280 291 298 451 0 1035 0 365 0

N.S.

1 1.04 1.06 1.61 0.00 3.70 0.00 1.30 0.00

time (sec)

N/A 0.530 1.050 0.700 0.000 0.542 0.000 0.318 0.000

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 210 223 362 0 793 0 266 0

N.S.

1 1.07 1.13 1.84 0.00 4.03 0.00 1.35 0.00

time (sec)

N/A 0.386 0.809 0.539 0.000 0.484 0.000 0.295 0.000

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 166 147 248 0 603 0 175 0

N.S.

1 1.08 0.96 1.62 0.00 3.94 0.00 1.14 0.00

time (sec)

N/A 0.333 0.628 0.510 0.000 0.431 0.000 0.298 0.000

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 104 168 0 405 0 108 111

N.S.

1 1.00 1.08 1.75 0.00 4.22 0.00 1.12 1.16

time (sec)

N/A 0.231 0.500 0.438 0.000 0.406 0.000 0.296 10.507

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 44 45 0 74 0 55 44

N.S.

1 1.00 0.98 1.00 0.00 1.64 0.00 1.22 0.98

time (sec)

N/A 0.166 0.362 0.398 0.000 0.338 0.000 0.296 10.307

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 105 124 0 412 0 125 0

N.S.

1 1.00 1.09 1.29 0.00 4.29 0.00 1.30 0.00

time (sec)

N/A 0.237 0.545 0.398 0.000 0.417 0.000 0.297 0.000

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 171 145 243 0 657 0 220 0

N.S.

1 1.08 0.92 1.54 0.00 4.16 0.00 1.39 0.00

time (sec)

N/A 0.353 0.706 0.471 0.000 0.528 0.000 0.304 0.000

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 239 210 372 0 869 0 467 0

N.S.

1 1.03 0.91 1.61 0.00 3.76 0.00 2.02 0.00

time (sec)

N/A 0.501 1.099 0.833 0.000 0.742 0.000 0.294 0.000

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

317 322 293 465 0 1093 0 798 0

N.S.

1 1.02 0.92 1.47 0.00 3.45 0.00 2.52 0.00

time (sec)

N/A 0.654 1.669 0.609 0.000 1.288 0.000 0.311 0.000

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

285 313 287 1246 0 1601 0 456 0

N.S.

1 1.10 1.01 4.37 0.00 5.62 0.00 1.60 0.00

time (sec)

N/A 0.575 1.593 0.747 0.000 0.958 0.000 0.308 0.000

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 214 204 765 0 1061 0 312 0

N.S.

1 1.13 1.08 4.05 0.00 5.61 0.00 1.65 0.00

time (sec)

N/A 0.378 1.236 0.853 0.000 0.904 0.000 0.313 0.000

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 110 132 0 248 0 195 131

N.S.

1 1.00 1.17 1.40 0.00 2.64 0.00 2.07 1.39

time (sec)

N/A 0.232 0.871 0.520 0.000 0.744 0.000 0.292 10.604

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 114 129 0 244 0 196 128

N.S.

1 1.00 1.00 1.13 0.00 2.14 0.00 1.72 1.12

time (sec)

N/A 0.241 0.747 0.428 0.000 0.784 0.000 0.305 10.435

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 99 123 0 245 0 193 121

N.S.

1 1.00 1.10 1.37 0.00 2.72 0.00 2.14 1.34

time (sec)

N/A 0.209 0.830 0.415 0.000 0.697 0.000 0.302 10.370

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 208 191 253 0 1077 0 333 0

N.S.

1 1.13 1.04 1.38 0.00 5.85 0.00 1.81 0.00

time (sec)

N/A 0.378 1.109 0.398 0.000 1.483 0.000 0.306 0.000

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

288 317 284 467 0 1655 0 483 0

N.S.

1 1.10 0.99 1.62 0.00 5.75 0.00 1.68 0.00

time (sec)

N/A 0.586 1.529 0.506 0.000 2.011 0.000 0.296 0.000

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

381 408 424 780 0 2057 0 765 0

N.S.

1 1.07 1.11 2.05 0.00 5.40 0.00 2.01 0.00

time (sec)

N/A 0.810 2.666 0.593 0.000 5.412 0.000 0.308 0.000

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 141 215 258 0 550 0 436 395

N.S.

1 1.04 1.59 1.91 0.00 4.07 0.00 3.23 2.93

time (sec)

N/A 0.260 2.512 0.383 0.000 3.054 0.000 0.288 10.804

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 191 349 354 0 941 0 768 599

N.S.

1 1.06 1.93 1.96 0.00 5.20 0.00 4.24 3.31

time (sec)

N/A 0.297 4.913 0.401 0.000 15.366 0.000 0.313 11.268

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 40 38 48 47 0 56 41

N.S.

1 1.00 2.11 2.00 2.53 2.47 0.00 2.95 2.16

time (sec)

N/A 0.165 0.074 0.211 0.190 0.283 0.000 0.292 10.691

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 45 40 39 44 70 43 41

N.S.

1 1.00 0.82 0.73 0.71 0.80 1.27 0.78 0.75

time (sec)

N/A 0.191 0.035 0.168 0.201 0.277 0.443 0.268 10.158

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 48 40 39 44 70 43 41

N.S.

1 1.00 0.87 0.73 0.71 0.80 1.27 0.78 0.75

time (sec)

N/A 0.187 0.032 0.154 0.210 0.267 0.291 0.282 0.045

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 48 40 39 44 70 43 41

N.S.

1 1.00 0.87 0.73 0.71 0.80 1.27 0.78 0.75

time (sec)

N/A 0.189 0.031 0.141 0.213 0.278 0.186 0.263 0.045

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 47 40 39 42 53 43 41

N.S.

1 1.00 0.85 0.73 0.71 0.76 0.96 0.78 0.75

time (sec)

N/A 0.186 0.030 0.138 0.199 0.270 0.569 0.274 0.045

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 46 40 39 39 68 43 41

N.S.

1 1.00 0.87 0.75 0.74 0.74 1.28 0.81 0.77

time (sec)

N/A 0.195 0.031 0.084 0.201 0.272 0.112 0.273 0.045

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 45 42 39 39 65 43 41

N.S.

1 1.00 0.88 0.82 0.76 0.76 1.27 0.84 0.80

time (sec)

N/A 0.189 0.034 0.046 0.202 0.306 0.184 0.269 0.050

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 44 41 39 38 63 41 41

N.S.

1 1.00 0.86 0.80 0.76 0.75 1.24 0.80 0.80

time (sec)

N/A 0.187 0.041 0.050 0.209 0.260 0.199 0.282 0.049

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 42 40 40 39 65 42 42

N.S.

1 1.00 0.82 0.78 0.78 0.76 1.27 0.82 0.82

time (sec)

N/A 0.187 0.041 0.053 0.196 0.270 0.259 0.268 10.140

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 45 40 39 39 70 41 41

N.S.

1 1.00 0.85 0.75 0.74 0.74 1.32 0.77 0.77

time (sec)

N/A 0.185 0.045 0.049 0.220 0.283 0.376 0.278 0.040

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 102 94 93 98 162 103 93

N.S.

1 1.00 0.90 0.83 0.82 0.87 1.43 0.91 0.82

time (sec)

N/A 0.253 0.072 0.286 0.198 0.280 0.670 0.280 10.094

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 102 94 93 98 162 103 93

N.S.

1 1.00 0.90 0.83 0.82 0.87 1.43 0.91 0.82

time (sec)

N/A 0.254 0.067 0.276 0.202 0.265 0.470 0.273 0.035

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 102 94 93 98 162 103 93

N.S.

1 1.00 0.90 0.83 0.82 0.87 1.43 0.91 0.82

time (sec)

N/A 0.243 0.070 0.254 0.198 0.297 0.320 0.273 0.036

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 102 94 93 96 121 103 93

N.S.

1 1.00 0.90 0.83 0.82 0.85 1.07 0.91 0.82

time (sec)

N/A 0.249 0.072 0.490 0.191 0.263 0.761 0.265 0.040

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 100 94 93 93 160 103 93

N.S.

1 1.00 0.90 0.85 0.84 0.84 1.44 0.93 0.84

time (sec)

N/A 0.252 0.067 0.513 0.182 0.273 0.192 0.283 0.035

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 97 102 93 93 156 103 93

N.S.

1 1.00 0.89 0.94 0.85 0.85 1.43 0.94 0.85

time (sec)

N/A 0.250 0.092 0.247 0.196 0.282 0.269 0.275 0.039

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 94 101 93 93 153 101 94

N.S.

1 1.00 0.86 0.93 0.85 0.85 1.40 0.93 0.86

time (sec)

N/A 0.243 0.101 0.253 0.209 0.261 0.304 0.271 0.040

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 95 97 94 93 151 102 94

N.S.

1 1.00 0.87 0.89 0.86 0.85 1.39 0.94 0.86

time (sec)

N/A 0.244 0.099 0.254 0.196 0.268 0.352 0.272 0.058

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 95 93 94 93 153 102 94

N.S.

1 1.00 0.87 0.85 0.86 0.85 1.40 0.94 0.86

time (sec)

N/A 0.248 0.095 0.506 0.200 0.265 0.441 0.273 10.099

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 182 178 192 166 171 294 193 169

N.S.

1 1.00 0.98 1.05 0.91 0.94 1.62 1.06 0.93

time (sec)

N/A 0.336 0.148 0.348 0.193 0.293 0.968 0.271 0.074

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 182 178 192 166 171 294 193 169

N.S.

1 1.00 0.98 1.05 0.91 0.94 1.62 1.06 0.93

time (sec)

N/A 0.318 0.153 0.329 0.192 0.289 0.693 0.294 10.065

[next] [prev] [prev-tail] [front] [up]